Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27776
posts in
13.3
ms
A Minimal Agent for Automated
Theorem
Proving
arxiv.org
·
1d
✓
Automated Theorem Proving
An
Introduction
to
Lean
4
uv.es
·
2d
🔬
Lean
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
Z3 Solver
Lean
and AI caught a bug in my 2-year-old
TLA
+ spec
medium.com
·
1d
·
Discuss:
Hacker News
🏛️
Agda
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
🔧
Hardware Verification
Agentic
Engineering: Building Without
Writing
dehora.net
·
30m
·
Discuss:
Hacker News
⚙️
TLA+
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
6h
🔧
Hardware Verification
Lean
4
tactics
wildonblog.wordpress.com
·
2d
🔬
Lean
Invariant-Driven
Automated
Testing
arxiv.org
·
1d
🔍
Concolic Testing
In
defence
of
correctness
blog.ploeh.dk
·
1h
⚙️
Proof Engineering
The
Math
Behind the Match: Building Production Search for People
Names
hackernoon.com
·
13h
🌳
Trie Structures
Show HN:
StrategicConsult
– Game theory
augmented
AI for decision making
negotiatecash.com
·
9h
·
Discuss:
Hacker News
🔲
Cellular Automata
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
How I run 4–8 parallel coding agents with
tmux
and
Markdown
specs
schipper.ai
·
19h
·
Discuss:
Hacker News
⚙️
Batch Processing
I built a
persistent
memory
layer
for AI agents in Rust
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
🦀
Rust Borrowing
A
rather
disorganized
rant about LLMs
boston.conman.org
·
3h
🐛
Fuzzing
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
11h
·
Discuss:
Hacker News
🧬
Functional Programming
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
13h
🔍
Concolic Testing
Microgpt
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🚀
SIMD Text Processing
Secure
LLM
Scripting
. Finally
mlld.ai
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help